Pace, Gordon: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Contract automata

Azzopardi, Shaun, Pace, Gordon J., Schapachnik, Fernando, Schneider, Gerardo

Journal:

Artificial Intelligence and Law

Year:

2016

Language:

english

File:

PDF, 1.14 MB

english, 2016

2

[IEEE 2018 14th European Dependable Computing Conference (EDCC) - Iași, Romania (2018.9.10-2018.9.14)] 2018 14th European Dependable Computing Conference (EDCC) - Runtime Verification of Ethereum Smart Contracts

Ellul, Joshua, Pace, Gordon J.

Year:

2018

Language:

english

File:

PDF, 492 KB

english, 2018

3

Regulating Blockchain, DLT and Smart Contracts: a technology regulatorâs perspective

Ellul, Joshua, Galea, Jonathan, Ganado, Max, Mccarthy, Stephen, Pace, Gordon J.

Journal:

Year:

2020

File:

PDF, 648 KB

2020

4

[IEEE 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS) - CANARY ISLANDS, Spain (2019.6.24-2019.6.26)] 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS) - Porthos: Macroprogramming Blockchain Systems

Mizzi, Adrian, Ellul, Joshua, Pace, Gordon J.

Year:

2019

Language:

english

File:

PDF, 171 KB

english, 2019

5

[ACM Press the 8th ACM SIGCHI Symposium - Brussels, Belgium (2016.06.21-2016.06.24)] Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '16 - Using gherkin to extract tests and monitors for safer medical device interaction design

Cauchi, Abigail, Colombo, Christian, Francalanza, Adrian, Micallef, Mark, Pace, Gordon

Year:

2016

File:

PDF, 1.02 MB

2016

6

[ACM Press the Real World Domain Specific Languages Workshop 2018 - Vienna, Austria (2018.02.24-2018.02.24)] Proceedings of the Real World Domain Specific Languages Workshop 2018 on - RWDSL2018 - D'Artagnan

Mizzi, Adrian, Ellul, Joshua, Pace, Gordon

Year:

2018

Language:

english

File:

PDF, 636 KB

english, 2018

7

Time markers in interstellar communication

PACE, GORDON W., WALKER, JAMES C. G.

Journal:

Year:

1975

File:

PDF, 254 KB

1975

8

[IEEE 2019 38th International Symposium on Reliable Distributed Systems Workshops (SRDSW) - Lyon, France (2019.10.1-2019.10.4)] 2019 38th International Symposium on Reliable Distributed Systems Workshops (SRDSW) - Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems

Ellul, Joshua, Pace, Gordon

Year:

2019

File:

PDF, 9.79 MB

2019

9

[ACM Press the 8th ACM SIGCHI Symposium - Brussels, Belgium (2016.06.21-2016.06.24)] Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '16 - Using testing techniques to classify user interface designs

Cauchi, Abigail, Pace, Gordon

Year:

2016

Language:

english

File:

PDF, 603 KB

english, 2016

10

Ethical and medico-legal aspects of obstetric anaesthesia

Miranda Barkham, Gordon Peters, Nick Pace

Journal:

Anaesthesia & Intensive Care Medicine

Year:

2005

Language:

english

File:

PDF, 93 KB

english, 2005

11

Mathematics of Discrete Structures for Computer Science || Why Mathematics?

Pace, Gordon J.

Year:

2012

Language:

english

File:

PDF, 144 KB

english, 2012

12

Three-component reductive alkylation of 2-hydroxy-1,4-naphthoquinones with lactols

Kim, Eliana E., Onyango, Evans O., Pace, Jennifer R., Abbot, Timothy M., Fu, Liangfeng, Gribble, Gordon W.

Journal:

Tetrahedron Letters

Year:

2016

Language:

english

File:

PDF, 1.57 MB

english, 2016

13

Ultrasonic absorption measurements in aqueous solutions of glycine, diglycine, and triglycine

Hammes, Gordon G., Pace, C. Nick

Journal:

Journal of Physical Chemistry

Year:

1968

Language:

english

File:

PDF, 487 KB

english, 1968

14

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

Ahrendt, Wolfgang, Chimento, Jesús Mauricio, Pace, Gordon J., Schneider, Gerardo

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 1.56 MB

english, 2017

15

[ACM Press the 11th ACM International Conference - Barcelona, Spain (2017.06.19-2017.06.23)] Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems - DEBS '17 - An Embedded DSL Framework for Distributed Embedded Systems

Mizzi, Adrian, Ellul, Joshua, Pace, Gordon

Year:

2017

Language:

english

File:

PDF, 481 KB

english, 2017

16

383 POSTER A phase 1 study of XL281, a potent and selective inhibitor of RAF kinases, administered orally to patients (pts) with advanced solid tumors

G.K. Schwartz, S. Yazji, D.S. Mendelson, M.A. Dickson, S.H. Johnston, E.W. Wang, P. Shannon, L. Pace, M.S. Gordon

Journal:

European Journal of Cancer Supplements

Year:

2008

Language:

english

File:

PDF, 56 KB

english, 2008

17

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)

Colombo, Christian, Pace, Gordon J., Schneider, Gerardo

Year:

2009

Language:

english

File:

PDF, 225 KB

english, 2009

18

[Lecture Notes in Computer Science] Runtime Verification Volume 6418 || Compensation-Aware Runtime Monitoring

Barringer, Howard, Falcone, Ylies, Finkbeiner, Bernd, Havelund, Klaus, Lee, Insup, Pace, Gordon, Roşu, Grigore, Sokolsky, Oleg, Tillmann, Nikolai

Year:

2010

Language:

english

File:

PDF, 260 KB

english, 2010

19

Midwinter Meeting 2007: Seattle Fish Throwers Inspire Conference-Goers

Leonard Kniffel, Gordon Flagg, Pamela Goodes, Daniel Kraus and Andrew Pace

Journal:

American Libraries

Year:

2007

Language:

english

File:

PDF, 5.50 MB

english, 2007

20

[IEEE 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS) - Paris, France (2018.2.26-2018.2.28)] 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS) - AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things

Ellul, Joshua, Pace, Gordon J.

Year:

2018

Language:

english

File:

PDF, 670 KB

english, 2018

21

Mathematics of Discrete Structures for Computer Science || Classifying Relations

Pace, Gordon J.

Year:

2012

Language:

english

File:

PDF, 225 KB

english, 2012

22

An embedded language approach to teaching hardware compilation

Claessen, Koen, Pace, Gordon J.

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 146 KB

english, 2002

23

Nanowire-Mesh Templated Growth of Out-of-Plane Three-Dimensional Fuzzy Graphene

Garg, Raghav, Rastogi, Sahil Kumar, Lamparski, Michael, de la Barrera, Sergio, Pace, Gordon T, Nuhfer, Noel T., Hunt, Benjamin Matthew, Meunier, Vincent, Cohen-Karni, Tzahi

Journal:

Year:

2017

Language:

english

File:

PDF, 1.87 MB

english, 2017

24

A microbiological study of Guaymas Basin high temperature hydrothermal vents

David M. Karl, Gordon T. Taylor, James A. Novitsky, Holger W. Jannasch, Carl O. Wirsen, Norman R. Pace, David J. Lane, Gary J. Olsen, Stephen J. Giovannoni

Journal:

Deep Sea Research Part A. Oceanographic Research Papers

Year:

1988

Language:

english

File:

PDF, 1.01 MB

english, 1988

25

[IEEE 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS) - CANARY ISLANDS, Spain (2019.6.24-2019.6.26)] 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS) - Porthos: Macroprogramming Blockchain Systems

Mizzi, Adrian, Ellul, Joshua, Pace, Gordon J.

Year:

2019

File:

PDF, 171 KB

2019

26

A room temperature ferrimagnet, vanadium[pentafluorophenyltricyanoethylene]2

Mark D. Harvey, Josephine T. Pace, Gordon T. Yee

Journal:

Year:

2007

Language:

english

File:

PDF, 190 KB

english, 2007

27

Guest Editors’ Foreword

Gordon Pace, Gerardo Schneider

Journal:

The Journal of Logic and Algebraic Programming

Year:

2011

Language:

english

File:

PDF, 166 KB

english, 2011

28

Recovery within long-running transactions

Colombo, Christian, Pace, Gordon J.

Journal:

ACM Computing Surveys

Year:

2013

Language:

english

File:

PDF, 224 KB

english, 2013

29

[IEEE 2010 Third International Conference on Advances in Circuits, Electronics and Micro-Electronics (CENICS) - Venice, Italy (2010.07.18-2010.07.25)] 2010 Third International Conference on Advances in Circuits, Electronics and Micro-electronics - Meta-functional Languages for Hardware Design and Verification

Pace, Gordon J., Tabone, Christian

Year:

2010

Language:

english

File:

PDF, 172 KB

english, 2010

30

On the Specification of Full Contracts

Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 419 KB

english, 2009

31

Distributed system contract monitoring

Francalanza, Adrian, Gauci, Andrew, Pace, Gordon J.

Journal:

The Journal of Logic and Algebraic Programming

Year:

2013

Language:

english

File:

PDF, 3.42 MB

english, 2013

32

[ACM Press the Fourteenth International Conference - Rome, Italy (2013.06.10-2013.06.14)] Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law - ICAIL '13 - Synthesising implicit contracts

Pace, Gordon J., Schapachnik, Fernando

Year:

2013

Language:

english

File:

PDF, 256 KB

english, 2013

33

Safety of a Novel Microneedle Device Applied to Facial Skin

Hoesly, Fridolin J., Borovicka, Judy, Gordon, Jennifer, Nardone, Beatrice, Holbrook, Jaimee S., Pace, Natalie, Ibrahim, Omer, Bolotin, Diana, Warycha, Melanie, Kwasny, Mary, West, Dennis, Alam, Murad

Journal:

Archives of Dermatology

Year:

2012

Language:

english

File:

PDF, 467 KB

english, 2012

34

[Lecture Notes in Computer Science] Controlled Natural Language Volume 9767 ||

Davis, Brian, Pace, Gordon J., Wyner, Adam

Year:

2016

Language:

english

File:

PDF, 15.39 MB

english, 2016

35

Catatonia secondary to synthetic cannabinoid use in two patients with no previous psychosis

Khan, Madiha, Pace, Lauren, Truong, Anh, Gordon, Mollie, Moukaddam, Nidal

Journal:

The American Journal on Addictions

Year:

2016

Language:

english

File:

PDF, 64 KB

english, 2016

36

A critical stage in the formation of acid mine drainage: Colonization of pyrite by Acidithiobacillus ferrooxidans under pH-neutral conditions

Randall E. Mielke, Danielle L. Pace, Tim Porter, Gordon Southam

Journal:

Year:

2003

Language:

english

File:

PDF, 594 KB

english, 2003

37

Guest Editors’ Foreword

Gordon Pace, Gerardo Schneider

Journal:

The Journal of Logic and Algebraic Programming

Year:

2011

Language:

english

File:

PDF, 167 KB

english, 2011

38

A Calculus Supporting Contract Reasoning and Monitoring

Cambronero, Maria Emilia, Llana, Luis, Pace, Gordon J.

Journal:

Year:

2017

Language:

english

File:

PDF, 2.06 MB

english, 2017

39

Safer asynchronous runtime monitoring using compensations

Colombo, Christian, Pace, Gordon J., Abela, Patrick

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 897 KB

english, 2012

40

Mathematics of Discrete Structures for Computer Science || More Discrete Structures

Pace, Gordon J.

Year:

2012

Language:

english

File:

PDF, 320 KB

english, 2012

41

The Effect of Medical Cannabis on Pain and Opioid Use in Chronic Pancreatitis

Koliani-Pace, Jenna, Gordon, Stuart R., Gardner, Timothy B.

Journal:

Gastroenterology

Year:

2017

Language:

english

File:

PDF, 602 KB

english, 2017

42

Ethical and legal issues in obstetric analgesia

Miranda Barkham, Gordon Peters, Nick Pace

Journal:

The Foundation Years

Year:

2006

Language:

english

File:

PDF, 634 KB

english, 2006

43

The Earth Microbiome Project: Meeting report of the “1stEMP meeting on sample selection and acquisition” at Argonne National Laboratory October 6th2010

Gilbert, Jack A., Meyer, Folker, Jansson, Janet, Gordon, Jeff, Pace, Norman, Tiedje, James, Ley, Ruth, Fierer, Noah, Field, Dawn, Kyrpides, Nikos, Glöckner, Frank-Oliver, Klenk, Hans-Peter, Wommack, K

Journal:

Standards in Genomic Sciences

Year:

2010

Language:

english

File:

PDF, 144 KB

english, 2010

44

Ethical and medico-legal issues

Miranda Barkham, Gordon Peters, Nick Pace

Journal:

Women's Health Medicine

Year:

2005

Language:

english

File:

PDF, 90 KB

english, 2005

45

Expression, Processing, and Properties of int-2

CLIVE DICKSON, FRANCES FULLER-PACE, PAUL KIEFER, PIERS ACLAND, DAVID MacALLAN, GORDON PETERS

Journal:

Annals of the New York Academy of Sciences

Year:

1991

Language:

english

File:

PDF, 615 KB

english, 1991

46

Bioelectric Potentials Associated with the Growing Deer Antler

LAKE, FRANCIS T., SOLOMON, GORDON C., DAVIS, ROBERT W., PACE, NOEL, MORGAN, JOHN R.

Journal:

Clinical Orthopaedics and Related Research®

Year:

1979

Language:

english

File:

PDF, 539 KB

english, 1979

47

[Lecture Notes in Computer Science] Runtime Verification Volume 6418 || Statistical Model Checking: An Overview

Barringer, Howard, Falcone, Ylies, Finkbeiner, Bernd, Havelund, Klaus, Lee, Insup, Pace, Gordon, Roşu, Grigore, Sokolsky, Oleg, Tillmann, Nikolai

Year:

2010

Language:

english

File:

PDF, 216 KB

english, 2010

48

Cell Transformation by kFGF Requires Secretion but Not Glycosylation

Frances Fuller-Pace, Gordon Peters and Clive Dickson

Journal:

The Journal of Cell Biology

Year:

1991

Language:

english

File:

PDF, 1.17 MB

english, 1991

49

ChemInform Abstract: Three-Component Reductive Alkylation of 2-Hydroxy-1,4-naphthoquinones with Lactols.

Kim, Eliana E., Onyango, Evans O., Pace, Jennifer R., Abbot, Timothy M., Fu, Liangfeng, Gribble, Gordon W.

Journal:

Year:

2016

File:

PDF, 23 KB

2016

50

SPIE Proceedings [SPIE Microlithography '91, San Jose,CA - San Jose, CA (Sunday 3 March 1991)] Fiber Optic and Laser Sensors VIII - GigaHertz RMS current sensors for electromagnetic compatibility testing

Mitchell, Gordon L., Saaski, Elric W., Pace, John W., DePaula, Ramon P., Udd, Eric

Year:

1991

Language:

english

File:

PDF, 440 KB

english, 1991

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски